Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 67.Ident. | Authors (with country if any) | Title |
---|---|---|
000237 | Houari Mahfoud [Algérie] ; Abdessamad Imine [France] | Efficient Querying of XML Data Through Arbitrary Security Views |
000311 | Nadir Guetmi [France] ; Abdessamad Imine [France] | A Cloud-Based Reusable Design for Mobile Data Sharing |
000332 | Moulay Driss Mechaoui [Algérie] ; Nadir Guetmi [France] ; Abdessamad Imine [France] | Mobile Co-Authoring of Linked Data in the Cloud |
000376 | Hiep H. Nguyen [France] ; Abdessamad Imine [France] ; Michaël Rusinowitch [France] | Differentially Private Publication of Social Graphs at Linear Cost |
000398 | Hoang Bao Thien [France] ; Abdessamad Imine [France] | Efficient and Decentralized Polling Protocol for General Social Networks |
000445 | Nadir Guetmi [France] ; Moulay Driss Mechaoui [Algérie] ; Abdessamad Imine [France] | Resilient Collaboration for Mobile Cloud Computing |
000530 | Moulay Driss Mechaoui [Algérie] ; Nadir Guetmi [France] ; Abdessamad Imine [France] | Towards Real-Time Co-authoring of Linked-Data on the Web |
000585 | Hiep H. Nguyen [France] ; Abdessamad Imine [France] ; Michaël Rusinowitch [France] | Anonymizing Social Graphs via Uncertainty Semantics |
000587 | Nadir Guetmi [France] ; Moulay Driss Mechaoui [Algérie] ; Abdessamad Imine [France] ; Ladjel Bellatreche [France] | Mobile collaboration: a collaborative editing service in the cloud |
000639 | Aurel Randolph [Canada] ; Hanifa Boucheneb [Canada] ; Abdessamad Imine [France] ; Alejandro Quintero [Canada] | On Synthesizing a Consistent Operational Transformation Approach |
000661 | Aurel Randolph [Canada] ; Abdessamad Imine [France] ; Hanifa Boucheneb [Canada] ; Alejandro Quintero [Canada] | Spécification et Analyse d’un Protocole de Contrôle d’Accès Optimiste pour Éditeurs Collaboratifs Répartis |
000818 | Asma Cherif [France] ; Abdessamad Imine [France] ; Michael Rusinowitch [France] | Practical access control management for distributed collaborative editors |
000888 | Hiep H. Nguyen [France] ; Abdessamad Imine [France] ; Michael Rusinowitch [France] | A Maximum Variance Approach for Graph Anonymization |
000C69 | Hiep H. Nguyen [France] ; Abdessamad Imine [France] ; Michael Rusinowitch [France] | Enforcing Privacy in Decentralized Mobile Social Networks |
000E28 | Aurel Randolph [Canada] ; Abdessamad Imine [France] ; Hanifa Boucheneb [Canada] ; Alejandro Quintero [Canada] | Spécification et analyse d'un protocole de contrôle d'accès optimiste pour éditeurs collaboratifs répartis |
000F25 | Hoang Bao Thien [France] ; Abdessamad Imine [France] | On Constrained Adding Friends in Social Networks |
000F96 | Houari Mahfoud [France] ; Abdessamad Imine [France] ; Michael Rusinowitch [France] | SVMAX: a system for secure and valid manipulation of XML data |
001009 | Aurel Randolph [Canada] ; Abdessamad Imine [France] ; Hanifa Boucheneb [Canada] ; Quintero Alejandro | Specification and Verification Using Alloy of Optimistic Access Control for Distributed Collaborative Editors |
001262 | Abdessamad Imine [France] ; Michael Rusinowitch [France] | Secure Collaboration for Smartphones |
001525 | Houari Mahfoud [France] ; Abdessamad Imine [France] | On Securely Manipulating XML Data |
001796 | Hoang Bao Thien [France] ; Abdessamad Imine [France] | On the Polling Problem for Social Networks |
001882 | Houari Mahfoud [France] ; Abdessamad Imine [France] | On Securely Manipulating XML Data |
001883 | Houari Mahfoud [France] ; Abdessamad Imine [France] | On Securely Manipulating XML Data |
001969 | Hoang Bao Thien [France] ; Abdessamad Imine [France] | On the Polling Problem for Social Networks |
001986 | Aurel Randolph ; Hanifa Boucheneb [Canada] ; Abdessamad Imine [France] ; Quintero Alejandro | On Consistency of Operational Transformation Approach |
001B31 | Houari Mahfoud [France] ; Abdessamad Imine [France] | A General Approach for Securely Updating XML Data |
001B68 | Houari Mahfoud [France] ; Abdessamad Imine [France] | Secure querying of recursive XML views: a standard xpath-based technique |
001C43 | Houari Mahfoud [France] ; Abdessamad Imine [France] | A General Approach for Securely Querying and Updating XML Data |
001F63 | Houari Mahfoud [France] ; Abdessamad Imine [France] | Secure Querying of Recursive XML Views: A Standard XPath-based Technique |
001F83 | Asma Cherif [France] ; Abdessamad Imine [France] | On the Undoability Problem in Distributed Collaborative Applications |
002240 | Jagdish Prasad Achara [France] ; Abdessamad Imine [France] ; Michaël Rusinowitch [France] | DeSCal --- Decentralized Shared Calendar for P2P and Ad-Hoc Networks |
002415 | Asma Cherif [France] ; Abdessamad Imine [France] ; Michaël Rusinowitch [France] | Optimistic access control for distributed collaborative editors |
002A25 | Hanifa Boucheneb [Canada] ; Abdessamad Imine [France] ; Manal Najem [Canada] | Symbolic Model-Checking of Optimistic Replication Algorithms |
002A30 | Moulay Driss Mechaoui ; Asma Cherif [France] ; Abdessamad Imine [France] ; Fatima Bendella | Log Garbage Collector-based Real Time Collaborative Editor for Mobile Devices |
002A85 | Abdessamad Imine [France] | On Coordinating Collaborative Objects |
002B06 | Zeeshan Ahmed [France] ; Abdessamad Imine [France] ; Michael Rusinowitch [France] | Safe and Efficient Strategies for Updating Firewall Policies |
003016 | Hanifa Boucheneb [Canada] ; Abdessamad Imine [France] ; Manal Najem [Canada] | Symbolic Model-Checking of Optimistic Replication Algorithms |
003388 | Asma Cherif [France] ; Abdessamad Imine [France] | Undo-Based Access Control for Distributed Collaborative Editors |
003434 | Abdessamad Imine [France] ; Asma Cherif [France] ; Michael Rusinowitch [France] | A Flexible Access Control Model for Distributed Collaborative Editors |
003555 | Abdessamad Imine [France] | Coordination Model for Real-Time Collaborative Editors |
003556 | Hanifa Boucheneb [Canada] ; Abdessamad Imine [France] | On Model-Checking Optimistic Replication Algorithms |
003C44 | Zeeshan Ahmed [France] ; Abdessamad Imine [France] ; Michaël Rusinowitch [France] | Safe and Efficient Strategies for Updating Firewall Policies |
003D03 | Abdessamad Imine [France] ; Asma Cherif [France] ; Michaël Rusinowitch [France] | An Optimistic Mandatory Access Control Model for Distributed Collaborative Editors |
003F73 | Abdessamad Imine [France] | Flexible Concurrency Control for Real-Time Collaborative Editors |
003F77 | Abdessamad Imine [France] | Decentralized concurrency control for real-time collaborative editors |
004572 | Hanifa Boucheneb [Canada] ; Abdessamad Imine [France] | Experiments in Model-Checking Optimistic Replication Algorithms |
004D04 | Abdessamad Imine [France] ; Michaël Rusinowitch [France] | Applying a Theorem Prover to the Verification of Optimistic Replication Algorithms |
004F39 | Gérald Oster [Suisse] ; Pascal Molli [France] ; Pascal Urso [France] ; Abdessamad Imine [France] | Tombstone Transformation Functions for Ensuring Consistency in Collaborative Editing Systems |
004F50 | Gérald Oster [Suisse] ; Pascal Urso [France] ; Pascal Molli [France] ; Abdessamad Imine [France] | Data Consistency for P2P Collaborative Editing |
005603 | Abdessamad Imine [France] ; Michaël Rusinowitch [France] ; Gérald Oster [France] ; Pascal Molli [France] | Formal design and verification of operational transformation algorithms for copies convergence |
005863 | Gérald Oster [France] ; Pascal Urso [France] ; Pascal Molli [France] ; Abdessamad Imine [France] | Edition collaborative sur réseau pair-à-pair à large échelle |
005887 | Abdessamad Imine [France] ; Pascal Molli [France] ; Gérald Oster [France] ; Michaël Rusinowitch [France] | Towards Synchronizing Linear Collaborative Objects with Operation Transformation |
006170 | Abdessamad Imine [France] ; Pascal Molli [France] ; Gérald Oster [France] ; Michaël Rusinowitch [France] | Towards Synchronizing Linear Collaborative Objects with Operational Transformation |
006476 | Gérald Oster [France] ; Pascal Urso [France] ; Pascal Molli [France] ; Abdessamad Imine [France] | Real time group editors without Operational transformation |
006480 | Gérald Oster [Suisse] ; Pascal Urso [France] ; Pascal Molli [France] ; Abdessamad Imine [France] | Proving correctness of transformation functions in collaborative editing systems |
006489 | Gérald Oster [France] ; Pascal Urso [France] ; Pascal Molli [France] ; Hala Skaf-Molli [France] ; Abdessamad Imine [France] | Optimistic Replication for Massive Collaborative Editing |
006641 | Gérald Oster [France] ; Pascal Molli [France] ; Hala Skaf-Molli [France] ; Abdessamad Imine [France] | Un modèle sûr et générique pour la synchronisation de données divergentes |
006C18 | Abdessamad Imine [France] ; Pascal Molli [France] ; Gérald Oster [France] ; Michaël Rusinowitch [France] | Deductive Verification of Distributed Groupware Systems |
006C48 | David Déharbe [Brésil] ; Abdessamad Imine [France] ; Silvio Ranise [France] | Abstraction-Driven Verification of Array Programs |
007037 | Abdessamad Imine [France] ; Pascal Molli [France] ; Gérald Oster [France] ; Michaël Rusinowitch [France] | Deductive Verification of Distributed Groupware Systems |
007091 | Abdessamad Imine [France] ; Pascal Molli [France] ; Gérald Oster [France] ; Michaël Rusinowitch [France] | Achieving Convergence with Operational Transformation in Distributed Groupware Systems |
007143 | Pascal Molli [France] ; Gérald Oster [France] ; Hala Skaf-Molli [France] ; Abdessamad Imine [France] | Using the Transformational Approach to Build a Safe and Generic Data Synchronizer |
007237 | Abdessamad Imine [France] ; Pascal Urso [France] | Automatic Detection of Copies Divergence in Collaborative Editing Systems |
007434 | Abdessamad Imine [France] ; Pascal Molli [France] ; Gérald Oster [France] ; Pascal Urso [France] | VOTE: Group Editors Analyzing Tool |
007B85 | Pascal Molli [France] ; Gérald Oster [France] ; Hala Skaf-Molli [France] ; Abdessamad Imine [France] | Safe Generic Data Synchronizer |
007D68 | Abdessamad Imine [France] ; Pascal Molli [France] ; Gérald Oster [France] ; Michaël Rusinowitch [France] | Proving Correctness of Transformation Functions in Real-Time Groupware |
008889 | Abdessamad Imine [Tunisie] ; Yahya Slimani [Tunisie] ; Sorin Stratulat [France] | Using automated induction-based theorem provers for reasoning about concurrent systems |
This area was generated with Dilib version V0.6.33. |